Transient transition behaviors of fractional-order simplest chaotic circuit with bi-stable locally-active memristor and its ARM-based implementation

This paper proposes a fractional-order simplest chaotic system using a bi-stable locally-active memristor. The characteristics of the memristor and transient transition behaviors of the proposed system are analyzed, and this circuit is implemented digitally using ARM-based MCU. Firstly, the mathematical model of the memristor is designed, which is nonvolatile, locally-active and bi-stable. Secondly, the asymptotical stability of the fractional-order memristive chaotic system is investigated and some sufficient conditions of the stability are obtained. Thirdly, complex dynamics of the novel system are analyzed using phase diagram, Lyapunov exponential spectrum, bifurcation diagram, basin of attractor, and coexisting bifurcation, coexisting attractors are observed. All of these results indicate that this simple system contains the abundant dynamic characteristics. Moreover, transient transition behaviors of the system are analyzed, and it is found that the behaviors of transient chaotic and transient period transition alternately occur. Finally, the hardware implementation of the fractional-order bi-stable locally-active memristive chaotic system using ARM-based STM32F750 is carried out to verify the numerical simulation results.     

人教版高中化学教科书“研究与实践”栏目分析与实施策略*

对人教版高中化学教科书新设计的“研究与实践”栏目的主题内容、功能价值进行分析,就如何充分发挥该栏目的教学功能和价值,发展学生的化学学科核心素养,提出了创设教学情境线索、开发为研究性学习课题、开发为校本选修课程、开发为STEM课程等实施策略。     

关于不定方程x3-1=749y2

利用同余式、平方剩余、Pell方程的解的性质、递归序列证明了:不定方程x³-1=749y²仅有整数解(x,y)=(1,0).     

The development of an artificial organic networks toolkit for LabVIEW

Two of the most challenging problems that scientists and researchers face when they want to experiment with new cutting‐edge algorithms are the time‐consuming for encoding and the difficulties for linking them with other technologies and devices. In that sense, this article introduces the artificial organic networks toolkit for LabVIEW? (AON‐TL) from the implementation point of view. The toolkit is based on the framework provided by the artificial organic networks technique, giving it the potential to add new algorithms in the future based on this technique. Moreover, the toolkit inherits both the rapid prototyping and the easy‐to‐use characteristics of the LabVIEW? software (e.g., graphical programming, transparent usage of other softwares and devices, built‐in programming event‐driven for user interfaces), to make it simple for the end‐user. In fact, the article describes the global architecture of the toolkit, with particular emphasis in the software implementation of the so‐called artificial hydrocarbon networks algorithm. Lastly, the article includes two case studies for engineering purposes (i.e., sensor characterization) and chemistry applications (i.e., blood–brain barrier partitioning data model) to show the usage of the toolkit and the potential scalability of the artificial organic networks technique. © 2015 Wiley Periodicals, Inc.     

初中化学“酸和碱的性质”创意教学*——探析食品发热包

以食品发热包为主题情境,通过探析发热包成分、解密发热原理、计算原料配比、配制发热包等环节梳理酸和碱的性质、用途。从元素观、转化观的视角认识物质转化规律,体现物质研究的一般思路,凸显科学探究的基本过程。通过设计方案测定发热包中碳酸钠的含量,总结混合物成分鉴定及定量测定的方法;归纳气体定量测定的影响因素。呈现一堂学科观念、学科方法教学具体课例,凸显物质研究、定性检验、定量测定的基本方法。     

回归知识本原 构建生命课堂——以“常见物质的检验”为例

以“常见物质的检验”的教学为例,运用化学史料帮助学生自主建构知识体系,促进学生追寻知识本原,实现思维进阶,发展核心素养,并阐述运用化学史料构建高中化学生命课堂的实施策略。     

һ��Coxģ�Ͳ����ľ���Bayes��˫�����

In this paper, the empirical Bayes (EB) two-sided test for parameter of Cox models is investigated under square loss functions. At first by using recursive kernel estimation of probability function the empirical Bayes two-sided test rule is constructed. It proves that the proposed empirical Bayes test rule is asymptotic optimal and convergence rates are obtained under suitable conditions. Finally an example of satisfying theorem conditions is given.     

On the numerical solution of tracked vehicle dynamic equations

In this investigation, the solution of the nonlinear dynamic equations of the multibody tracked vehicle systems are obtained using different procedures. In the first technique, which is based on the augmented formulation that employes the absolute Cartesian coordinates and Lagrange multipliers, the generalized coordinate partitioning of the constraint Jacobian matrix is used to determine the independent coordinates and the associated independent differential equations. An iterative Newton-Raphson algorithm is used to solve the nonlinear constraint equations for the dependent variables. The numerical problems encountered when one set of independent coordinates is used during the simulation of large scale tracked vehicle systems are demonstrated and their relationship to the track dynamics is discussed. The second approach employed in this investigation is the velocity transformation technique. One of the versions of this technique is discussed in this paper and the numerical problems that arise from the use of inconsistent system of kinematic equations are reported. In the velocity transformation technique, the tracked vehicle system is assumed to consist of two kinematically decoupled subsystems; the first subsystem consists of the chassis, the rollers, the sprocket and the idler, while the second subsystem consists of the track which is represented as a closed kinematic chain that consists of rigid links connected by revolute joints. It is demonstrated that the use of one set of recursive equations leads to numerical difficulties because of the change in the track configuration. Singular configurations can be avoided by repeated changes in the recursive equations. The sensitivity of the predictor-corrector multistep numerical integration schemes to the method of formulating the state equations is demonstrated. The numerical results presented in this investigation are obtained using a planner tracked vehicle model that consists of fifty four rigid bodies.     

A matrix-free high-order discontinuous Galerkin compressible Navier-Stokes solver: A performance comparison of compressible and incompressible formulations for turbulent incompressible flows

Both compressible and incompressible Navier-Stokes solvers can be used and are used to solve incompressible turbulent flow problems. In the compressible case, the Mach number is then considered as a solver parameter that is set to a small value, M ≈0.1, in order to mimic incompressible flows. This strategy is widely used for high-order discontinuous Galerkin (DG) discretizations of the compressible Navier-Stokes equations. The present work raises the question regarding the computational efficiency of compressible DG solvers as compared to an incompressible formulation. Our contributions to the state of the art are twofold: Firstly, we present a high-performance DG solver for the compressible Navier-Stokes equations based on a highly efficient matrix-free implementation that targets modern cache-based multicore architectures with Flop/Byte ratios significantly larger than 1. The performance results presented in this work focus on the node-level performance, and our results suggest that there is great potential for further performance improvements for current state-of-the-art DG implementations of the compressible Navier-Stokes equations. Secondly, this compressible Navier-Stokes solver is put into perspective by comparing it to an incompressible DG solver that uses the same matrix-free implementation. We discuss algorithmic differences between both solution strategies and present an in-depth numerical investigation of the performance. The considered benchmark test cases are the three-dimensional Taylor-Green vortex problem as a representative of transitional flows and the turbulent channel flow problem as a representative of wall-bounded turbulent flows. The results indicate a clear performance advantage of the incompressible formulation over the compressible one.     

Analytical solution of optimal Meixner-like pole

In this paper, we prove the possibility of optimization of some free parameters of Meixner-like discrete-time linear filters using orthonormal basis functions (OBF) in an analytical way. Since the z-transform of the Meixner filters is impossible and it is possible for Meixner-like filters, we are motivated to study closely the optimization of the Meixner-like's pole. As a result, the differential equation associated with Meixner-like filters has been developed. On the other hand, the effective width of the energy distribution in the transformation domain is a function of the free parameter (Meixner-like pole) and simple signal measurements and can be calculated by the second-order moment. Analytic minimization of the second-order moment gives an optimal value of the free parameter. To validate the effectiveness of the proposed approach, numerical results are used to determine the free parameters.